Enriching the Software Development Process by Formal Methods
نویسندگان
چکیده
We describe a software development process designed for an integration and usage of formal methods into practical software process models in a scalable way. Our process model is an extension of the V-model, and allows the speciication of critical components and the verii-cation of crucial development steps. For diierent development stages we suggest user-oriented description techniques, based on a common formal semantic. Furthermore we outline methods for the veriication of critical development steps. We illustrate our process by developing a small example with some critical aspects.
منابع مشابه
Developing Reliable yet Flexible Software through If-Then Model Transformation Rules
Developing reliable yet flexible software is a hard problem. Although modeling methods enjoy a lot of advantages, the exclusive use of just one of them, in many cases, may not guarantee the development of reliable and flexible software. Formal modeling methods ensure reliability because they use a rigorous approach to software development. However, lack of knowledge and high cost practically fo...
متن کاملBridging the Gap between Natural Language Requirements and Formal Specifications
In this paper, we discuss the problem of transforming a natural language requirements specification into a formal specification. We present several methods to support the process and implemented them in a commercial tool, the Requirements Quality Suite. We achieve this by enriching the requirement text with additional structure (using a knowledge base) and asking the requirement engineer to for...
متن کاملModeling Aspects by Category Theory
A framework for formal analysis of aspect-oriented software development (AOSD) is proposed. AOSD is treated as enriching formal models of programs by traceable refinements that produce their systemic interfaces. Category-theoretic construction of architecture school is employed to formalize this approach. Aspect weaving and separation of concerns are defined as universal constructions. Aspect-o...
متن کاملVerification of Process Models
This chapter presents an ontology-driven approach that aims at supporting semantic verification of semiformal process models. The ontology-driven approach suggested consists of two steps. The first step is the development of a model for ontology-based representation of process models. This representation allows enriching process models by annotating them with semantics specified in a formal ont...
متن کاملMaking formal methods work: what is being done and what can be done
Despite the apparent advantages offered by formal methods, industry has been very slow to take on the techniques involved. This paper attributes some of this reticence to a lack of clear guidance on where and how formal methods fit into the software engineering process. The paper distinguishes between formal methods techniques for modelling and reasoning about systems mathematically and a forma...
متن کامل